#ifndef _HALLINK_H_
#define _HALLINK_H_

extern char    __begin_kernel;
extern char    __begin_os_hal_head_text;
extern char    __end_os_hal_head_text; 
extern char    __begin_os_hal_head_data; 
extern char    __end_os_hal_head_data;  
extern char    __begin_os_hal_init;
extern char    __end_os_hal_init;
extern char    __begin_os_hal_vector; 
extern char    __end_os_hal_vector;     
extern char    __begin_os_hal_intvect;
extern char    __end_os_hal_intvect;  
extern char    __begin_text;
extern char    __end_text;
extern char    __begin_data;
extern char    __end_data;    
extern char    __begin_rodata;
extern char    __end_rodata;  
extern char    __begin_strtab;
extern char    __end_strtab;     
extern char    __begin_bss;
extern char    __end_bss; 
extern char    __end_kernel;

#endif